Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond the level of (...) controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

Aworkshop was held August 26–28, 2015, by the Earth- Life Science Institute (ELSI) Origins Network (EON, see Appendix I) at the Tokyo Institute of Technology. This meeting gathered a diverse group of around 40 scholars researching the origins of life (OoL) from various perspectives with the intent to find common ground, identify key questions and investigations for progress, and guide EON by suggesting a roadmap of activities. Specific challenges that the attendees were encouraged to address included the following: What key (...) questions, ideas, and investigations should the OoL research community address in the near and long term? How can this community better organize itself and prioritize its efforts? What roles can particular subfields play, and what can ELSI and EON do to facilitate research progress? (See also Appendix II.) The present document is a product of that workshop; a white paper that serves as a record of the discussion that took place and a guide and stimulus to the solution of the most urgent and important issues in the study of the OoL. This paper is not intended to be comprehensive or a balanced representation of the opinions of the entire OoL research community. It is intended to present a number of important position statements that contain many aspirational goals and suggestions as to how progress can be made in understanding the OoL. The key role played in the field by current societies and recurring meetings over the past many decades is fully acknowledged, including the International Society for the Study of the Origin of Life (ISSOL) and its official journal Origins of Life and Evolution of Biospheres, as well as the International Society for Artificial Life (ISAL). (shrink)

This essay is my review of economist Mark Skousen’s book, The Big Three in Economics. In it, he discusses the economic work of Adam Smith, Karl Marx, and John Maynard Keynes. He gives even-handed treatments of the major contributions of each, for example, Smith’s reputation refutation of mercantilist policies and Smith’s crucial insight into the role that division of labor plays in economic growth. My only complaint is that Skousen doesn’t adequately explain his choice of Marx as (...) a great economist. What enduring contributions did he make to the field? Why name him rather than (say) David Ricardo? (shrink)

In this paper I describe a novel application of contemplative techniques to software engineering with the goal of augmenting the intellectual capabilities of knowledge workers within the field in four areas: flexibility, attention, creativity, and trust. The augmentation of software engineers’ intellectual capabilities is proposed as a third complement to the traditional focus of methodologies on the process and environmental factors of the software development endeavor. I argue that these capabilities have been shown to be open to improvement through the (...) practices traditionally used in spiritual traditions, but now used increasingly in other fields of knowledge work, such as in the medical profession and the education field. Historically, the intellectual capabilities of software engineers have been treated as a given within any particular software development effort. This is argued to be an aspect ripe for inclusion within software development methodologies. (shrink)

Batı’da teorik felsefe; Analitik Felsefe (AF), Kıta Felsefesi (KF) ve Felsefe Tarihi (FT) olmak üzere üçe ayrılır. Fakat üçünde de işler yolunda değildir. AF, felsefenin bir bilim olabileceği iddiasından kuşku duyduğu için gerçek dünyayla ilgilenmiyorken başından beri uygun bir teorik yöntem izlemeyen Kıta Felsefesinin uygulanışı, belirli politik ve etik yargılara hizmet edecek şekilde özelleştirilmiştir. FT çalışmalarının gidişatı ise eldeki eserin nesnel değerinden daha çok ilgili filozofun ait olduğu ulus veya kültüre göre bölgesel bir temelde gelişmiştir. Felsefede ilerleme sağlanacaksa bu ancak (...) bahsi geçen tuzaklardan kaçınılarak gerçekleşebilir. (shrink)

Hubert Dreyfus has argued that cases of absorbed bodily coping show that there is no room for self-awareness in flow experiences of experts. In this paper, I argue against Dreyfus’ maxim of vanishing self-awareness by suggesting that awareness of agency is present in expert bodily action. First, I discuss the phenomenon of absorbed bodily coping by discussing flow experiences involved in expert bodily action: merging into the flow; immersion in the flow; emergence out of flow. I argue against the claim (...) that flow experience does not involve an awareness of agency for each of these features, while conceding that fluent agency does not involve self-awareness in the thetic sense. I challenge the assumption that the awareness of fluent agency must be understood in terms of a thetic awareness of agency. Instead, I develop an Anscombean account of the awareness of fluent agency in terms of the phenomenal character of knowing one’s aims. I respond to the challenge that if an Anscombean account of the awareness of agency is to succeed, then agents must be able to answer Anscombean questions. I consider the objection that awareness of agency is not a form of self-awareness by outlining an account of self-awareness as self-synthesis that is distinct from self-perception and self-ascription, but which makes room for self-awareness in expert bodily action. (shrink)

Recently several authors have argued that accuracy-first epistemology ends up licensing problematic epistemic bribes. They charge that it is better, given the accuracy-first approach, to deliberately form one false belief if this will lead to forming many other true beliefs. We argue that this is not a consequence of the accuracy-first view. If one forms one false belief and a number of other true beliefs, then one is committed to many other false propositions, e.g., the conjunction of that false belief (...) with any of the true beliefs. Once we properly account for all the falsehoods that are adopted by the person who takes the bribe, it turns out that the bribe does not increase accuracy. (shrink)

The collaboration of Language and Computing nv (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is guided by the hypothesis that quality constraints on ontologies for software ap-plication purposes closely parallel the constraints salient to the design of sound philosophical theories. The extent of this parallel has been poorly appreciated in the informatics community, and it turns out that importing the benefits of phi-losophical insight and methodology into application domains yields a variety of improvements. L&C’s LinKBase® (...) is one of the world’s largest medical domain ontologies. Its current primary use pertains to natural language processing ap-plications, but it also supports intelligent navigation through a range of struc-tured medical and bioinformatics information resources, such as SNOMED-CT, Swiss-Prot, and the Gene Ontology (GO). In this report we discuss how and why philosophical methods improve both the internal coherence of LinKBase®, and its capacity to serve as a translation hub, improving the interoperability of the ontologies through which it navigates. (shrink)

This thesis proposes that key, competing theories of dispositions mistake and conflate how we identify, designate and talk about dispositions and dispositional terms for the nature of dispositions and the meaning of dispositional terms when they argue that: a) dispositions are extrinsic properties of their bearers (Boyle 1666) b) all properties are purely dispositional (Bird 2007) c) all properties are purely categorical (there are no dispositional properties) (Armstrong in AMP 1996) d) dispositional and categorical properties are separate and distinct properties (...) (Prior, Pargetter and Jackson 1982). In so doing these theories make unwarranted and unsupported ontological conclusions about dispositions. The thesis traces the principal source of this confusion and conflation to a reliance on the counterfactual analysis of dispositions that wrongly encourages the conflation of a disposition (say fragility) with its manifestation (shattering). There is good reason to hold that the counterfactual analysis of dispositions is false — the truth of a counterfactual statement (such as “if x were dropped x would break”) is neither necessary nor sufficient for the truth of a dispositional ascription (such as “x is fragile”). (shrink)

Hintergrund: Biomedizinische Ontologien existieren unter anderem zur Integration von klinischen und experimentellen Daten. Um dies zu erreichen ist es erforderlich, dass die fraglichen Ontologien von einer großen Zahl von Benutzern zur Annotation von Daten verwendet werden. Wie können Ontologien das erforderliche Maß an Benutzerfreundlichkeit, Zuverlässigkeit, Kosteneffektivität und Domänenabdeckung erreichen, um weitreichende Akzeptanz herbeizuführen? -/- Material und Methoden: Wir konzentrieren uns auf zwei unterschiedliche Strategien, die zurzeit hierbei verfolgt werden. Eine davon wird von SNOMED CT im Bereich der Medizin vertreten, die (...) andere im Bereich der Biologie und Biomedizin von der OBO Foundry. Es soll aufgezeigt werden, wie die Verpflichtung zu speziellen Kriterien der Ontologieentwicklung die Nützlichkeit und Effektivität der Ontologien positiv beeinflusst, indem die Pflege der terminologischen Systeme und ihre Interoperabilität vereinfacht werden. -/- Ergebnisse: SNOMED CT und die OBO Foundry unterscheiden sich grundlegend in ihren Ansätzen und Zielen. Unabhängig davon kann jedoch ein allgemeiner Trend zur strengeren Formalisierung und Fokussierung auf Interoperabilität zwischen unterschiedlichen Domänen und ihren Repräsentationen beobachtet werden. (shrink)

The three young philosophers Kevin Mulligan, Peter Simons and Barry Smith have become well-known in the last few years especially in German-speaking analytical philosophy and phenomenology circles. This is on the one hand as a result of their historical and systematic philosophical work; but it is also because of the provocative way in which they represent their philosophy. Because they often appear in threes, they have become known as the "gang of three" or "three musketeers" or even – and (...) this in an admiring sense – "mafiosi" (Rescher). They are known primarily for the small workshops they have been organizing in uncomplicated Anglo-Saxon manner all over Europe. Their goal has been to show that analytic philosophy as it has been pursued up to now is in need of reform and also that the history of scientific philosophizing is not identical to the history of Anglo-Saxon analytic philosophy. Above all, they have tried to make more well known the Austrian tradition of scientific philosophy, and they can be given credit for having done much to promote the current interest in this tradition, which means: the history of Austrian philosophy of the 19th and early 20th centuries and its historical context in the Austro-Hungarian Empire. (shrink)

Three-dimensionalists , sometimes referred to as endurantists, think that objects persist through time by being “wholly present” at every time they exist. But what is it for something to be wholly present at a time? It is surprisingly difficult to say. The threedimensionalist is free, of course, to take ‘is wholly present at’ as one of her theory’s primitives, but this is problematic for at least one reason: some philosophers claim not to understand her primitive. Clearly the three-dimensionalist would be (...) better off if she could state her theory in terms accessible to all. We think she can. What is needed is a definition of ‘is wholly present at’ that all can understand. in this paper, we offer one. (shrink)

Many people believe that the research-based pharmaceutical industry has a ‘special’ moral obligation to provide lifesaving medications to the needy, either free-ofcharge or at a reduced rate relative to the cost of manufacture. In this essay, I argue that we can explain the ubiquitous notion of a special moral obligation as an expression of emotionally charged intuitions involving sacred or protected values and an aversive response to betrayal in an asymmetric trust relationship. I then review the most common arguments used (...) to justify the claim that the pharmaceutical industry has a special moral obligation and show why these justifications fail. Taken together, these conclusions call into question the conventional ideologies that have traditionally animated the debate on whether the pharmaceutical industry has special duties of beneficence and distributive justice with respect to the impoverished in dire need of their products. (shrink)

This article examines who or what should be the target of feminist criticism. Throughout the discussion, the concept of memes is applied in analyzing systems such as patriarchy and feminism itself. Adapting Dawkins' theory on genes, this research puts forward the possibility that patriarchies and feminisms are memeplexes competing for the limited energy and memory space of humanity.

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

Introduction and translation of “The Four Phases of Philosophy” by Franz Brentano.

The shape of the Earth's surface, its topography, is a fundamental dimension of the environment, shaping or mediating many other environmental flows or functions. But there is a major divergence in the way that topography is conceptualized in different domains. Topographic cartographers, information scientists, geomorphologists and environmental modelers typically conceptualize topographic variability as a continuous field of elevations or as some discrete approximation to such a field. Pilots, explorers, anthropologists, ecologists, hikers, and archeologists, on the other hand, typically conceptualize this (...) same variability in terms of hills and valleys, mountains and plains, barrows and trenches, that is, as (special sorts of) objects, with locations, shapes, and often names of their own. In this chapter, we sketch an approach to bridging this fundamental gap in geographic information infrastructure. (shrink)

In the field of machine consciousness, it has been argued that in order to build human-like conscious machines, we must first have a computational model of qualia. To this end, some have proposed a framework that supports qualia in machines by implementing a model with three computational areas (i.e., the subconceptual, conceptual, and linguistic areas). These abstract mechanisms purportedly enable the assessment of artificial qualia. However, several critics of the machine consciousness project dispute this possibility. For instance, Searle, in his (...) Chinese room objection, argues that however sophisticated a computational system is, it can never exhibit intentionality; thus, would also fail to exhibit consciousness or any of its varieties. This paper argues that the proposed architecture mentioned above answers the problem posed by Searle, at least in part. Specifically, it argues that we could reformulate Searle’s worries in the Chinese room in terms of the three-stage artificial qualia model. And by doing so, we could see that the person doing all the translations in the room could realize the three areas in the proposed framework. Consequently, this demonstrates the actualization of self-consciousness in machines. (shrink)

Information may be defined as the conceptual or communicable part of the content of mental acts. The content of mental acts includes sensory data as well as concepts, particular as well as general information. An information system is an external (non-mental) system designed to store such content. Information systems afford indirect transmission of content between people, some of whom may put information into the system and others who are among those who use the system. In order for communication to happen, (...) the conceptual systems of the originators and users of the information must be sufficiently similar. A formal conceptual framework that can provide the basis for exchange of information is termed an ontology. In its most fundamental form, ontology studies the most basic constituents of reality. Traditionally, ontology seeks to reflects structures that are independent of thought and cognition. The term ontology is used more broadly in artificial intelligence and software engineering, to refer to the conceptual basis for an information system. (shrink)

This article focuses on a particular issue under machine ethics—that is, the nature of Artificial Moral Agents. Machine ethics is a branch of artificial intelligence that looks into the moral status of artificial agents. Artificial moral agents, on the other hand, are artificial autonomous agents that possess moral value, as well as certain rights and responsibilities. This paper demonstrates that attempts to fully develop a theory that could possibly account for the nature of Artificial Moral Agents may consider certain philosophical (...) ideas, like the standard characterizations of agency, rational agency, moral agency, and artificial agency. At the very least, the said philosophical concepts may be treated as signposts for further research on how to truly account for the nature of Artificial Moral Agents. (shrink)

This paper focuses on the research field of machine ethics and how it relates to a technological singularity—a hypothesized, futuristic event where artificial machines will have greater-than-human-level intelligence. One problem related to the singularity centers on the issue of whether human values and norms would survive such an event. To somehow ensure this, a number of artificial intelligence researchers have opted to focus on the development of artificial moral agents, which refers to machines capable of moral reasoning, judgment, and decision-making. (...) To date, different frameworks on how to arrive at these agents have been put forward. However, there seems to be no hard consensus as to which framework would likely yield a positive result. With the body of work that they have contributed in the study of moral agency, philosophers may contribute to the growing literature on artificial moral agency. While doing so, they could also think about how the said concept could affect other important philosophical concepts. (shrink)

Recently two distinct forms of rule-utilitarianism have been introduced that differ on how to measure the consequences of rules. Brad Hooker advocates fixed-rate rule-utilitarianism, while Michael Ridge advocates variable-rate rule-utilitarianism. I argue that both of these are inferior to a new proposal, optimum-rate rule-utilitarianism. According to optimum-rate rule-utilitarianism, an ideal code is the code whose optimum acceptance level is no lower than that of any alternative code. I then argue that all three forms of rule-utilitarianism fall prey to two fatal (...) problems that leave us without any viable form of rule-utilitarianism. (shrink)

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...) are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

This article compares James M. Buchanan's and John Rawls's theories of democratic governance. In particular it compares their positions on the characteristics of a legitimate social contract. Where Buchanan argues that additional police force can be used to quell political demonstrations, Rawls argues for a social contract that meets the difference principle.

This article surveys different philosophical theories about the nature of truth. We give much importance to truth; some demand to know it, some fear it, and others would even die for it. But what exactly is truth? What is its nature? Does it even have a nature in the first place? When do we say that some truth-bearers are true? Philosophers offer varying answers to these questions. In this article, some of these answers are explored and some of the problems (...) raised against them are presented. (shrink)

In August 2021, Froese et al. published survey data collected from 2,543 respondents on their subjective experiences living under imposed social distancing measures during COVID-19 (1). The questionnaire was issued to respondents in the UK, Japan, and Mexico. By combining the authors’ expertise in phenomenological philosophy, phenomenological psychopathology, and enactive cognitive science, the questions were carefully phrased to prompt reports that would be useful to phenomenological investigation and theorizing (2–4). These questions reflected the various author’s research interests (e.g., technology, grief, (...) time). Between April 7th and July 31st, 2021, a second questionnaire with the same question set was issued to respondents of the original who had agreed to do a follow-up. This was intended to capture subjective reports of life under social distancing measures a year after the initial survey. By this time–depending on their country of residence and health status–respondents had potentially lived with repeated and prolonged lockdowns and a variety of other restrictions on their social lives. When taken together, Survey I and Survey II provide a cross-cultural and longitudinal dataset that allows for analysis of longer-term impacts of imposed social distancing measures on people’s experiences. For researchers working in diverse disciplines, this dataset offers a rich resource that reflects people’s reactions to the imposition of different social restrictions in different countries and over different time periods. (shrink)

Since it is only five years since the publication of our paper, "Geographical categories: An ontological investigation" (Smith and Mark 2001), it seems somewhat strange to be making retrospective comments on the piece. Nevertheless, the field is moving quickly, and much has happened since the article appeared. A large number of papers have already cited the work, which suggests that there is a seam here that people find worthy of being mined. In this short essay, we first review the (...) paper and attempt to assess its significance from the perspective of our current work. We then put the paper in the context of our individual and joint works, which led up to it, and summarize our research trajectories since the paper appeared, pointing out what some of this reveals about spatial ontology in general. We conclude with some remarks on the future of ontological research in geographical information science. (shrink)

Recent research on moral dynamics shows that an individual's ethical mind-set moderates the impact of an initial ethical or unethical act on the likelihood of behaving ethically on a subsequent occasion. More specifically, an outcome-based mind-set facilitates Moral Balancing, whereas a rule-based mind-set facilitates Moral Consistency. The objective was to look at the evolution of moral choice across a series of scenarios, that is, to explore if these moral patterns are maintained over time. The results of three studies showed that (...) Moral Balancing is not.. (shrink)

Children continue to be overlooked as a topic of concern in discussions around the ethical use of people’s data and information. Where children are the subject of such discussions, the focus is often primarily on privacy concerns and consent relating to the use of their data. This paper highlights the unique challenges children face when it comes to online interferences with their decision-making, primarily due to their vulnerability, impressionability, the increased likelihood of disclosing personal information online, and their developmental capacities. (...) These traits allow for practices such as hypernudging to be executed on them more accurately and with more serious consequences, specifically by potentially undermining their autonomy. We argue that children are autonomous agents in the making and thus require additional special protections to ensure that the development of their autonomy is safeguarded. This means that measures should be taken to prohibit most forms of hypernudging children and thus ensure that they are protected from this powerful technique of digital manipulation. (shrink)

Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontological theorizing in abstract (...) fashion about the world was supplemented by the study, based on the use of logical methods, of the ontological commitments or presuppositions embodied in scientific theories. In recent years both types of ontological study have found application in the world of information systems, for example in the construction of frameworks for knowledge representation and in database design and translation. As ontology is in this way drawn closer to the domain of real-world applications, the question arises as to whether it is possible to use empirical methods in studying ontological theories. More specifically: can we use empirical methods to test the ontological theories embodied in human cognition? We set forth the outlines of a framework for the formulation and testing of such theories as they relate to the specific domain of geographic objects and categories. (shrink)

A belief one has is safe if either (i) it could not easily be false or (ii) in any nearby world in which it is false, it is not formed using the method one uses to form one’s actual belief. It seems our mathematical beliefs are safe if mathematical pluralism is true: if, loosely put, almost any consistent mathematical theory is true. It seems, after all, that in any nearby world where one’s mathematical beliefs differ from one’s actual beliefs, one (...) would believe some other true, consistent theory. Focusing on Justin Clarke-Doane’s recent discussion, I argue the thesis that mathematical beliefs are safe given pluralism faces some obstacles. I argue (i) is true of mathematical belief given pluralism only if we deny plausible claims about the interpretation of non-pluralists who many of us could easily be. Unless strong metasemantic theses are true, it is plausible many of us could easily deny or refuse to believe a consistent and true mathematical theory we actually believe. Since philosophical arguments and controversies permeate the methodology of foundational mathematics, I argue we cannot confidently distinguish the methods we use in mathematics between worlds, thus raising doubts about (ii). (shrink)

in Abortion and the Status of the Fetus, Volume XIII of the series, “Philosophy of Medicine,” eds. William B. Bondeson, H. Tristram Englehardt, Stuart Spicker, and Daniel H. Winship (Dordrecht, Holland/Boston, Massachusetts: D. Reidel, 1983), pp. 229-245.

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

Twentieth century philosophers introduced the distinction between “objective rightness” and “subjective rightness” to achieve two primary goals. The first goal is to reduce the paradoxical tension between our judgments of (i) what is best for an agent to do in light of the actual circumstances in which she acts and (ii) what is wisest for her to do in light of her mistaken or uncertain beliefs about her circumstances. The second goal is to provide moral guidance to an agent who (...) may be uncertain about the circumstances in which she acts, and hence is unable to use her standard moral principle directly in deciding what to do. This paper distinguishes two important senses of “moral guidance”; proposes criteria of adequacy for accounts of subjective rightness; canvasses existing definitions for “subjective rightness”; finds them all deficient; and proposes a new and more successful account. It argues that each comprehensive moral theory must include multiple principles of subjective rightness to address the epistemic situations of the full range of moral decision-makers, and shows that accounts of subjective rightness formulated in terms of what it would reasonable for the agent to believe cannot provide that guidance. -/- . (shrink)

Because we must often make decisions in light of imperfect information about our prospective actions, the standard principles of objective obligation must be supplemented with principles of subjective obligation (which evaluate actions in light of what the agent believes about their circumstances and consequences). The point of principles of subjective obligation is to guide agents in making decisions. But should these principles be stated in terms of what the agent actually believes or what it would be reasonable for her to (...) believe about her prospective actions? I show that there are many decisions for which “reasonable belief” principles can’t be used by the decision-maker, especially in cases in which whether (or how) the agent investigates or deliberates affects the nature of the prospective action itself. I conclude that subjective rightness depends on what the agent actually believes, not what it would be reasonable for her to believe. (shrink)

The Universal Core (UCore) is a central element of the National Information Sharing Strategy that is supported by multiple U.S. Federal Government Departments, by the intelligence community, and by a number of other national and international institutions. The goal of the UCore initiative is to foster information sharing by means of an XML schema providing consensus representations for four groups of universally understood terms under the headings who, what, when, and where. We here describe a project to create an ontology-based (...) supporting layer for UCore, entitled ‘Universal Core Semantic Layer’ (UCore SL), and describe how UCore SL can be applied to further UCore’s information sharing goals. (shrink)

Recent theorizing argues that online communication technologies provide powerful, although precarious, means of emotional regulation. We develop this understanding further. Drawing on subjective reports collected during periods of imposed social restrictions under COVID-19, we focus on how this precarity is a source of emo-tional dysregulation. We make our case by organizing responses into five distinct but intersecting dimensions wherein the precarity of this regulation is most relevant: infrastructure, functional use, mindful design (individual and social), and digital tact. Analyzing these reports, (...) along with examples of mediating technologies (i.e., self-view) and common interactive dynamics (e.g., gaze coordination), we tease out how breakdowns along these dimensions are sources of affective dysregulation. We argue that the adequacy of available technological resources and competencies of various kinds matter greatly to the types of emotional experiences one is likely to have online. Further research into online communication technologies as modula-tors of both our individual and collective well-being is urgently needed, especially as the echoes of the digital push that COVID-19 initiated are set to continue rever-berating into the future. (shrink)

I offer an interpretation of Carnap and Quine’s views on cognitive significance and insignificance. The basic idea behind their views is as follows: to judge an expression is insignificant is to recommend it not be used in or explicated into languages used to express truth-valued judgments in inquiry; to judge an expression is significant is to recommend it be used in or explicated into such languages. These judgments are pragmatic judgments, made in light of purposes for language use in inquiry. (...) For Carnap at least, these pragmatic judgments are non-cognitive. This basic idea is only a roughly correct statement of their views. This is because the details of the scientific languages they recommend for inquiry are necessary to understand their views and the way they understand their own views. Even so, I offer two reasons to suggest that this basic idea is worthy of our consideration today. First, it provides a conception of significance that captures the natural thought that epistemological concerns can lead us to consider expressions to be insignificant without requiring an objectionable form of verificationism. Second, if we appeal also to Carnap and Quine’s pluralistic attitude toward explication, we can make a pragmatic judgment that an expression is insignificant while judging it to be significant on a distinct explication of significance fit for describing and explaining natural language. (shrink)

We describe on-going work on IAO-Intel, an information artifact ontology developed as part of a suite of ontologies designed to support the needs of the US Army intelligence community within the framework of the Distributed Common Ground System (DCGS-A). IAO-Intel provides a controlled, structured vocabulary for the consistent formulation of metadata about documents, images, emails and other carriers of information. It will provide a resource for uniform explication of the terms used in multiple existing military dictionaries, thesauri and metadata registries, (...) thereby enhancing the degree to which the content formulated with their aid will be available to computational reasoning. (shrink)

This review essay assesses Michael Jackson’s ongoing project of staging an encounter between anthropology and philosophy in two books: Lifeworlds (2013) and As Wide as the World Is Wise (2016). Considering his philosophical enrichment of ethnographic theory and method, this essay addresses foundational questions about the prospects and practices of interdisciplinary engagement. It also suggests future avenues for continued dialogue between philosophy and anthropology.

Ontology is one strategy for promoting interoperability of heterogeneous data through consistent tagging. An ontology is a controlled structured vocabulary consisting of general terms (such as “cell” or “image” or “tissue” or “microscope”) that form the basis for such tagging. These terms are designed to represent the types of entities in the domain of reality that the ontology has been devised to capture; the terms are provided with logical defi nitions thereby also supporting reasoning over the tagged data. Aim: This (...) paper provides a survey of the biomedical imaging ontologies that have been developed thus far. It outlines the challenges, particularly faced by ontologies in the fields of histopathological imaging and image analysis, and suggests a strategy for addressing these challenges in the example domain of quantitative histopathology imaging. The ultimate goal is to support the multiscale understanding of disease that comes from using interoperable ontologies to integrate imaging data with clinical and genomics data. (shrink)

Translation of "Von der Armut am Geiste; ein Dialog des jungen Lukács," by Ágnes Heller. This translation originally appeared in The Philosophical Forum, Spring-Summer 1972.

For centuries it has been a mainstay of European and American moral thought that keeping promises—and the allied activity of upholding contracts—is one of the most important requirements of morality. On some historically powerful views the obligation to uphold promises or contracts not only regulates private relationships, but also provides the moral foundation for our duty to support and obey legitimate governments. Some theorists believe that the concept of keeping promises has gradually moved to center stage in European moral thought. (...) They see this movement as part of an historical shift from a moral conception in which an individual’s duties are mainly externally imposed and unalterable, to a conception in which duties are largely chosen by the individual. (shrink)

A letter to The Times of London, May 9, 1992 protesting the Cambridge University proposal to award an honorary degree to M. Jacques Derrida.

A moral code consists of principles that assign moral status to individual actions – principles that evaluate acts as right or wrong, prohibited or obligatory, permissible or supererogatory. Many theorists have held that such principles must serve two distinct functions. On the one hand, they serve a theoretical function, insofar as they specify the characteristics in virtue of which acts possess their moral status. On the other hand, they serve a practical function, insofar as they provide an action-guide: a standard (...) by reference to which a person can choose which acts to perform and which not. Although the theoretical and practical functions of moral principles are closely linked, it is not at all obvious that what enables a principle to fill one of these roles automatically equips it to fill the other. In this paper I shall briefly examine some of the reasons why a moral principle might fail to fill its practical role, i.e., be incapable of guiding decisions. I shall then sketch three common responses to this kind of failure, and examine in some detail the adequacy of one of the most popular of these responses. (shrink)